Basic Infobase Change
نویسنده
چکیده
Generalisations of theory change involving arbitrary sets of wffs instead of belief sets have become known as base change. In one view, a base should be thought of as providing more structure to its generated belief set, and can be used to determine the theory change operation associated with a base change operation. In this paper we extend a proposal along these lines by Meyer et al. [12]. We take an infobase as a finite sequence of wffs, with each element in the sequence being seen as an independently obtained bit of information, and define appropriate infobase change operations. The associated theory change operations satisfy the AGM postulates for theory change [1]. Since an infobase change operation produces a new infobase, it allows for iterated infobase change. We measure iterated infobase change against the postulates proposed by Darwiche et al. [2, 3] and Lehmann [10].
منابع مشابه
Nadep North Island Hazmin Infobase Hazmin Infobase's Infostructure the Basic Software Set Paradigm Shifting for the Expert Infobase Some Characteristics of the Expert Infobase System Coterminous with Procedure, with Process, and with Infobase End-user Interface Design Options References
متن کامل
SWI/SNF Infobase—An exclusive information portal for SWI/SNF remodeling complex subunits
Chromatin remodeling complexes facilitate the access of condensed genomic DNA during transcription, replication, and repair, by altering the histone-DNA contacts in the nucleosome structures. SWI/SNF (SWItch/Sucrose Non-Fermentable) family of ATP dependent chromatin remodeling complexes have been documented for their tumour suppressor function. Recent studies have reported the high frequency of...
متن کاملReporting of financial conflicts of interest in clinical practice guidelines: a case study analysis of guidelines from the Canadian Medical Association Infobase
BACKGROUND Clinical practice guidelines are widely distributed by medical associations and relied upon by physicians for the best available clinical evidence. International findings report that financial conflicts of interest (FCOI) with drug companies may influence drug recommendations and are common among guideline authors. There is no comparable study on exclusively Canadian guidelines; ther...
متن کاملTwelve years of clinical practice guideline development, dissemination and evaluation in Canada (1994 to 2005)
BACKGROUND Despite the growing availability of clinical practice guidelines since the early 1990's, little is known about how guideline development and dissemination may have changed over time in Canada. This study compares Canadian guideline development, dissemination, and evaluation in two six year periods from 1994-1999 and 2000-2005. METHODS Survey of guideline developers who submitted th...
متن کاملNational Extension Workshop 9
s of papers 3 National Extension Workshop 9 Introduction. R. D. Reynnells*1, 1US Department of Agriculture. The Annual Extension Special Recognition Award acknowledges extra effort of Extension Personnel in national programs. The 2002 award is presented to Glenn Carpenter, currently with the USDA Natural Resources Conservation Service. Jim Rock (CT, retired) continues to provide the workshop ev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999